A sustainable supply chain management strategy reduces risks and meets environmental, economic and social objectives by integrating environmental and financial practices. In an ever-changing environment, supply chains have become vulnerable at many levels. In a global supply chain, carefully tracing a product is of great importance to avoid future problems. This paper describes a self-updating smart contract, which includes data validation, for tracing global supply chains using blockchains. Our proposal uses a machine learning model to detect anomalies on traceable data, (...) which helps supply chain operators detect anomalous behavior at any point in the chain in real time. Hyperledger Caliper has been used to evaluate our proposal, and obtained a combined average throughput of 184 transactions per second and an average latency of 0.41 seconds, ensuring that our proposal does not negatively impact supply chain processes while improving supply chain management through data anomaly detection. (shrink)

Musical ensemble performances provide an ideal environment to gain knowledge about complex human interactions. Network structures of synchronization can reflect specific roles of individual performers on the one hand and a higher level of organization of all performers as a superordinate system on the other. This study builds on research on joint singing, using hyperscanning of respiration and heart rate variability from eight professional singers. Singers performed polyphonic music, distributing their breathing within the same voice and singing without and with (...) physical contact: that is touching each other's shoulder or waist. The idea of singing with touch was motivated by historical depictions of ensemble performances that showed singers touching each other. It raises the question of the potential benefit of touch for group performances. From a psycho-physiological point of view, physical contact should increase the synchronization of singing coordination. The results confirm previous findings on synchronization of respiration and HRV during choir singing and extend those findings to a non-homophonic musical repertoire while also revealing an increase in synchronization in respiration during physical contact. These effects were significant across different frequency ranges. The effect of physical contact was stronger when all singers were singing in comparison to the partial ensemble. Importantly, the synchronization could not be fully explained by the singing action or by the standing position or touch. This finding suggests a higher level of organization of all singers, forming a superordinate system. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

This is the first translation into English of a milestone in Nietzsche interpretation. Wolfgang Mller-Lauter examines Nietzsche's doctrines of the will to power and the overman in light of Nietzsche's philosophy of real contradictions.

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

People can be taught to manipulate symbols according to formal mathematical and logical rules. Cognitive scientists have traditionally viewed this capacity—the capacity for symbolic reasoning—as grounded in the ability to internally represent numbers, logical relationships, and mathematical rules in an abstract, amodal fashion. We present an alternative view, portraying symbolic reasoning as a special kind of embodied reasoning in which arithmetic and logical formulae, externally represented as notations, serve as targets for powerful perceptual and sensorimotor systems. Although symbolic reasoning often (...) conforms to abstract mathematical principles, it is typically implemented by perceptual and sensorimotor engagement with concrete environmental structures. (shrink)

Being all-good and gracious, God cannot be so envious as not to allow anything else besides him to exist. The necessitarian view thus limits God in His choice of creation and argues that God had to create in the first place out of His infinite ...

Is behavioral integration a necessary feature of belief in folk psychology? Our data from over 5,000 people across 26 samples, spanning 22 countries suggests that it is not. Given the surprising cross-cultural robustness of our findings, we argue that the types of evidence for the ascription of a belief are, at least in some circumstances, lexicographically ordered: assertions are first taken into account, and when an agent sincerely asserts that p, nonlinguistic behavioral evidence is disregarded. In light of this, we (...) take ourselves to have discovered a universal principle governing the ascription of beliefs in folk psychology. (shrink)

The authors consider a recurring objection to fictional realism, the view that fictional characters are objects. The authors call this the counting objection. Russell presses a version of the objection against Meinong’s view. Everett presses a version of the objection against contemporary fictional realist views, as do Nolan and Sandgren. As the authors see it, the objection assumes that the fictional realist must provide criteria of identity for fictional characters, so its force depends on the plausibility of that assumption. Rather (...) than coming up with such criteria, a fictional realist might argue that the demand is misplaced. (shrink)

In the last decades, the environmental conditions of our planet have dramatically worsened. Consider that, for instance, due to the enormous increase of human made CO2 emissions (by about 90% since 1970), the planet’s average surface temperature has risen about 1.5 degrees Celsius since the 19th century, with most of this warming occurring in the last 35 years. As many scientists have noticed, this has hastened the melting of the glaciers and therefore brought about a rise in the sea level; (...) e... (shrink)

Knowledge brokers are among the main channels of communication between scientists and the public and a key element to establishing a relation of trust between the two. But translating knowledge from the scientific community to a wider audience presents several difficulties, which can be accentuated in times of crisis. In this paper we study some of the problems that knowledge brokers face when communicating in times of crisis. During the first wave of the COVID-19 pandemic, we collected interviews with Italian (...) experts that played a major role as knowledge brokers in the local media. We asked them questions about five main topics: the features and role of science communicators; the use of language in communicating science; the importance of the relation of trust with the public; the peculiarity of communicating in a context of emergency; the problem of disagreement among experts, and its public perception and communication. The goal of this paper is to understand, through the words of knowledge brokers themselves, what they consider as best practices (and obstacles) to create trust between scientists and the public. Our empirical work can inform normative accounts of what knowledge brokering should be about. (shrink)

Corporate social responsibility has an impact on many areas of society, and it has recently been active in the digital space, a growing area of business activity. However, certain factors prevent it from firmly establishing itself in this area. One of these factors is the lack of user trust. Certain instruments have been created to address this issue, such as codes of conduct that seek to mitigate the causes of distrust by making significant improvements in the regulations and ethical standards (...) applicable to business transactions. These instruments are the product of industry self-regulation and complement rather than substitute for effective legal regulations. In light of some European Community directives, European legislators are addressing certain issues in this area, especially unfair business practices. (shrink)

Complex systems theory has become one of the main frameworks to understand, model and explain interactional phenomena such as interpersonal coordination. In her paper, Butler (this issue) applies this approach to theorise about coordination at large, including human interactions. We argue that the all-encompassing language of complex systems theory leads to overemphasising the physical aspects that human interactions share with other coordinated systems in nature. This emphasis ultimately disregards the meaningful dimension implied in any human movement, understanding it as mechanical (...) motion, rather than expressive actions. (shrink)

Advertising is a booming activity both in the physical realm and on the Internet. Online advertising is growing and is subject to legal standards, although some self-imposed ethical standards for the industry are needed. This has been called self-regulation. This article examines the important role that self-regulation can play in addressing advertising that uses degrading and discriminatory images of women that compromise their dignity. Sexist advertising is a reification of women—stereotypes and sexist social models—that do not convey a realistic image (...) of a woman’s abilities and potential. This article analyzes specific decisions on the subject issued by the Jury of the Spanish Association for the Self-Regulation of Commercial Communication. The Jury’s decisions are based on a code of ethics. The technical expertise and impartiality manifested in its decisions have produced a high degree of credibility and confidence in the organization. (shrink)

En el presente escrito se hace una lectura filosófica de la ética protestante a partir de un talante predominante en la época que circunscribe al barroco mostrándoles como una forma fundamental y fundacional de la Modernidad europea ejemplificado a través del drama trágico alemán y en contraste con una configuración alternativa y desemejante de un proyecto civilizatorio propiamente barroco y utópico en las colonias americanas. Palabras clave: Barroco - Talante - Protestantismo - Modernidad - Ethos.

Evolutionary adaptation has been suggested as the hallmark of life that best accounts for life’s creativity. However, current evolutionary approaches still fail to give an adequate account of it, even if they are able to explain both the origin of novelties and the proliferation of certain traits in a population. Although modern-synthesis Darwinism is today usually appraised as too narrow a position to cope with all the complexities of developmental and structural biology—not to say biosemiotic phenomena—, Darwinism need not be (...) if we separate metaphor from reality in natural selection in order to show the axiological complexity of this concept. This can shed light on the relationship between biosemiotics and biological evolution. (shrink)

Although we find many merits to Grossmann's fearful ape hypothesis, unlike Grossmann, we see heightened fearfulness as an ontogenetic adaptation, signaling helplessness and fostering caregiving during infancy, which subsequently became exapted to promote cooperation. We also argue that, rather than being the “breeding ground” for enhanced infant fearfulness, cooperative care is more likely the evolved product of enhanced fearfulness.

Group assortative biases are stronger in regions where pathogen stress has been historically prevalent. Pushing the logic of this approach, extensions should include investigations of how cultural norms related to prosociality and relational striving may also covary with regional pathogen stress. Likewise, the pan-specific observation that diseased animals show decreased motor activity to facilitate recovery suggests that norms relevant to sickness behaviors may also vary as a function of regional parasite stress.

This paper consists of commentaries about and the reprint of an autobiographical essay authored by Italian medium Eusapia Palladino and published in 1910. The details of the essay are discussed in terms of the writings of other individuals about the life and performances of the medium. The essay conveys a view of Palladino as a person who has suffered much in life and has a mission to help scientific research into mediumship. Typical of the positive emphasis in autobiographies in general, (...) the medium did not discuss negative aspects of her performances. Due to the fact that the essay appeared during Palladino's visit to New York City in which many authors branded her as a fraud, it may be speculated that the purpose of this autobiography was to elicit sympathy from the American public. While some of the statements that Palladino made about phenomena are consistent with the statements of other authors who have written about her, there are several statements that show alternate or incomplete versions of particular events in her life. The differences suggests that Palladino's essay and other discussions about the medium's life are not reliable when it comes to specific details and to biographical accuracy. (shrink)

The stable core, an inner model of the form $\langle L[S],\in, S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete (...) proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots, C_n]$ for specially nested class clubs $C_1, \dots, C_n$, like those arising in the stable core, generalizing recent results of Welch [29]. (shrink)

Certain characteristics of childhood immaturity (e.g., infantile facial features) may have been favored by natural selection to evoke positive feelings in adults. We propose that some aspects of cognitive immaturity might also endear young children to adults. In two studies, adults rated expressions of mature and immature thinking attributed to children. Immature thinking in which children expressed a supernatural explanation elicited positive affect reactions, whereas other forms of immature thinking, which made no attribution to supernatural causation, were responded to negatively. (...) This pattern was found for parents and others, males and females, American and Spanish college students, and for target children 3 to 9 years of age. We suggest that persistence of supernatural thinking in adulthood causes people to view the expressions of such thinking in children in a positive manner, fostering nurturance of young children who display them. (shrink)

Culture has traditionally been considered as a set of knowledge, beliefs, arts, laws, norms, and morals, acquired by a human being as a member of a group. Some anthropologists interpret this as a set of abstract representations, such as information or knowledge, while others interpret it as behavioral control mechanisms. These views assume that the contents of a particular culture must be processed by the minds of individuals, either in a direct way or by resorting to learned mental structures in (...) processes of symbolic socialization. Some critics suggest a problem with these perspectives since they do not provide a convincing explanation of the enculturation process beyond metaphorical images of transfer or internalization of symbolic cultural contents through linguistic transmission. The new embodied theories of cognition, especially enactivism, could give new ideas about what enculturation processes are like, through the concept of participatory sense-making in material culture environments. In this essay, we discuss how an enactive vision of culture could be, and what advantages it would have, as well as the challenges and weaknesses in explaining the culture and its learning processes. (shrink)

This article captures and critiques a recurring and prominent political argument against animal welfare improvements in Switzerland which we term the “ranking argument”. This states that Swiss animal welfare law ranks among the strictest in the world, therefore no improvements are called for. This argument was advanced three times by Swiss government authorities in 2022 alone, but also in a case dating back to 1984, to advise the electorate on popular initiatives aiming at animal welfare improvements. We argue that, while (...) the argument commits a fallacy of relative privation and is ethically dubious, it can be deployed to great effect by agents opposed to norm change in animal welfare regulation. We conclude with some thoughts on how the ranking argument can and should be challenged in public discourse. (shrink)

In previous work, we introduced a version of distributed temporal logic that is well-suited both for verifying security protocols and as a metalogic for reasoning about, and relating, different security protocol models. In this paper, we formally investigate the relationship between our approach and strand spaces, which is one of the most successful and widespread formalisms for analyzing security protocols. We define translations between models in our logic and strand-space models of security protocols, and we compare the results obtained with (...) respect to the level of abstraction that is inherent in each of the formalisms. This allows us to clarify different aspects of strand spaces that are often left implicit, as well as pave the way to transfer results, techniques and tools across the two approaches. (shrink)